Immediate Diagnosis of Faulty Behaviours with Petri Net Models

Diagnosis with Causality Relationships and Directed Paths in Pn Models

Petri nets are a suitable tool for the diagnosis of discrete event systems. For this purpose, faulty behaviours are modelled by the firing of failure transitions. This paper is about structural sensitivity in Petri net with respect to the firing of the failure transitions. Algebraic results are provided to characterise the influence and dependence areas of the failure transitions and diagnosabi...

Petri nets design based on neural networks

Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed according to alarm propagation. This paper deals with Petri net models synthesis and identification based on neural network approaches, with regard to event propagation and to state propagation dataset. A learning neura...

Unfolding-Based Diagnosis of Systems with an Evolving Topology

We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-based diagnosis is aimed at constructing explanations of observed faulty behaviours on the basis of a given model of the system. Since the number of possible explanations may be huge we exploit the unfolding as a compact data stru...

On Using Petri Nets to Detect Faulty Behaviours in an Intermodal Container Terminal

Deterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow

Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...